1. Formal approaches to software testing and runtime verification
پدیدآورنده : / Klaus Havelund ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV
رده :
QA
,
76
.
9
,.
F67
,
F524
,
2006
